abs{-}R ($i$,$e$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($\uparrow$($e$ $\in_{b}$ ${\it Out}$)) \& (${\it Out}$($e$).1) = $i$